12.2.1. Graflar Üzerine Temel Tanımlar - 1

Graf, matematiksel anlamda, düğümler ve bu düğümler arasındaki ilişkiyi gösteren kenarlardan oluşan bir kümedir; mantıksal ilişki düğüm ile düğüm veya düğüm ile kenar arasında kurulur. Bir graf üzerinde n tane düğüm ve m tane kenar varsa, matematiksel gösterilimi, düğümler ve kenarlar kümesinden elamanların ilişkilendirilmesiyle yapılır:

D={d0, d1, d2 ... dn-1, dn }	Düğümler kümesi
K={k0, k1, k2 ... km-1, km }	Kenarlar kümesi
G=(D, K)	Graf

! Grafları incelemek için aşağıdaki düğmelere tıklayınız.

Çeşitli graf şekilleri

Tanım-12.1. Basit bir G=(D, K) grafı, boş olmayan D düğümler (vertices) kümesine ve bu düğümler kümesindeki elemanları sıralı olma özelliğine bakmaksızın bağlayan veya ilişkilendiren K kenarlar (edges) kümesine sahiptir.

Tanım-12.2. Bir G grafı üzerindeki d_i ve d_j adlı iki düğüm, kenarlar kümesinde bulunan bir kenarla ilişkilendiriliyorsa bu iki düğüm birbirine komşu (adjacent, neighbor) düğümlerdir; k={d_i, d_j} şeklinde gösterilir ve k kenarı hem d_i hem de d_j düğümleriyle bitişiktir (incident) denilir. Diğer bir deyişle k kenarı d_i ve d_j düğümlerini birbirine bağlar veya d_i ve d_j düğümleri k kenarının uç noktalarıdır denilir.